Einstein’s boxes

Einsteins' role in clinical research

Scientific research is a systematic process aimed to build knowledge through a set of structured evaluations, thus generating the development of both the individual that performs research and the society in which it is developed. The objective of research is to produce knowledge, possibly applicable inside and outside researchersénvironments, and perhaps generate practical actions. Research met...

Boxes: A Symbolic Abstract Domain of Boxes

Numeric abstract domains are widely used in program analyses. The simplest numeric domains over-approximate disjunction by an imprecise join, typically yielding path-insensitive analyses. This problem is addressed by domain refinements, such as finite powersets, which provide exact disjunction. However, developing correct and efficient disjunctive refinement is challenging. First, there must be...

Black Boxes

The non-structure theorems we have discussed in Chapter III rests usually on some freedom on finite sequences and on a kind of order. When our freedom is related to infinite sequences, and to trees, our work is sometimes harder. In particular, we may consider, for λ ≥ χ, χ regular, and φ = φ(x̄0, . . . , x̄α, . . .)α<χ in a vocabulary τ : (∗) For any I ⊆ λ we have a τ–modelMI and sequences āη (fo...

Causal Boxes and Hierar hi al Time Boxes

Enclosing Many Boxes by an Optimal Pair of Boxes